switch x {
| "\055" => ()
| "\123" => ()
}
